
kernel_target_sources(
  proc.S cache.S
)
